<?php

class HttpSession extends CHttpSession {

}

?>